<HTML>
<BODY>
This package provides abstractions for the Java type system.
</BODY>
</HTML>
